Conjunt de les parts

Donat un conjunt S, es defineix el conjunt de les parts de S o conjunt potència de S, escrit ${\displaystyle {\mathcal {P}}(S)}$, P(S), ℘(S), o 2^S, com el conjunt de tots els subconjunts de S. Per exemple, si S és el conjunt {a, b, c} aleshores la llista completa dels subconjunts de S és:

• {Ø} (conjunt buit)
• {a}
• {b}
• {c}
• {a,b}
• {a,c}
• {b,c}
• {a,b,c}

Per tant, el conjunt de les parts de S serà:

${\displaystyle {\mathcal {P}}(S)=\{\varnothing ,\{a\},\{b\},\{c\},\{a,b\},\{a,c\},\{b,c\},\{a,b,c\}\}}$

Si S és un conjunt finit amb card (S) = n elements, aleshores el conjunt de les parts de S conté card(℘(S))= 2ⁿ elements.